منابع مشابه
From Focalization of Logic to the Logic of Focalization
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ranging from linear logic programming to game theoretical analysis of linear logic proofs. The aim of this article is to propose an algebraic study of focalization property for the multiplicative-additive fragment of ...
متن کاملFocalization in 3D Video Games
This paper investigates Bal’s concept of focalization for 3D video games. First, the argument traces focalization in the historical development of camera strategies in 3D video games. It highlights the detachment of the camera into an own interactive operator. Then, it exemplifies the visual focalization in video games using two case studies. In the following, it looks at possible problems and ...
متن کاملStructural focalization (draft)
Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible derivations by eagerly applying invertible rules and grouping sequences of non-invertible rules. A focused sequent calculus is defined relative to some non-focused sequent calculus; focalization is the property that ...
متن کاملLinguistic Audit as a Professional Activity
The subject of this research is linguistic (or: language) audit. The term is new and not being widely used so far. Linguistic audit, in particular, is offered as a service of linguistic-consulting agencies’ activities. Modern linguistic consulting, according to the author, is a form of stimulating theoretical and practical development of linguistic ecology, a new branch of applied linguistics, ...
متن کاملOn the Meaning of Focalization
In this paper, we use Girard’s Ludics to analyze focalization, a fundamental property of linear logic. In particular, we show how this can be realized interactively thanks to section-retraction pairs (uαβ, fαβ) between behaviours α〈ˆ(β〈~ Y〉), ~ X〉 and αβ〈~ Y, ~ X〉.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Naukovy Visnyk of South Ukrainian National Pedagogical University named after K. D. Ushynsky: Linguistic Sciences
سال: 2019
ISSN: 2616-5317
DOI: 10.24195/2616-5317-2018-27-21